<?php
include('connexion (2).php');

//Si lutilisateur est connecte, on le deconecte
if(isset($_SESSION['mail']))
{
	//On le deconecte en supprimant simplement les sessions username et userid
	unset($_SESSION['mail'], $_SESSION['userid']);
        
        
        header("Location:index.php");
}else{header("Location:index.php");}

/*
if(unset($_SESSION['mail']))
{
     header("Location:index.php");
}*/
?>